The Embedded Machine
نویسندگان
چکیده
The embedded machine is a virtual machine in the spirit of the Java virtual machine with specific extensions for embedded real-time computing on distributed platforms. The embedded machine provides an abstract platform for generating distributed code from high-level embedded programming languages. The instruction set of the embedded machine has a formal synchronous (zero-delay) semantics which provides synchronous control of scheduled computation and communication with respect to the progress of real-time and the occurrences of events. The serialization of concurrent scheduled computation and communication is defined non-deterministically which makes the embedded machine compatible with any scheduling algorithm. A program of the embedded machine determines when to schedule task invocations and message delivery but not how. A scheduling algorithm is thus a parameter of a program of the embedded machine.
منابع مشابه
Development of system decision support tools for behavioral trends monitoring of machinery maintenance in a competitive environment
The article is centred on software system development for manufacturing company that produces polyethylene bags using mostly conventional machines in a competitive world where each business enterprise desires to stand tall. This is meant to assist in gaining market shares, taking maintenance and production decisions by the dynamism and flexibilities embedded in the package as customers’ demand ...
متن کاملReal-time Scheduling of a Flexible Manufacturing System using a Two-phase Machine Learning Algorithm
The static and analytic scheduling approach is very difficult to follow and is not always applicable in real-time. Most of the scheduling algorithms are designed to be established in offline environment. However, we are challenged with three characteristics in real cases: First, problem data of jobs are not known in advance. Second, most of the shop’s parameters tend to be stochastic. Third, th...
متن کاملInvestigating Fluid Mixing in Electro-Osmotic Flow Through Passive Micro-Mixers Having Square and Triangle Barriers
Objective: In this article, a numerical study is conducted on mixing of two fluids in the liquid phase with two different concentrations of a chemical species in the electro-osmotic flow. Methods: The base liquid is an electrolyte which flows in a two-dimensional micro-channel having electrically charged walls. Lorentz electric force, which is used as stimulating flow factor, is created by appl...
متن کاملInvestigating Fluid Mixing in Electro-Osmotic Flow Through Passive Micro-Mixers Having Square and Triangle Barriers
Objective: In this article, a numerical study is conducted on mixing of two fluids in the liquid phase with two different concentrations of a chemical species in the electro-osmotic flow. Methods: The base liquid is an electrolyte which flows in a two-dimensional micro-channel having electrically charged walls. Lorentz electric force, which is used as stimulating flow factor, is created by appl...
متن کاملAn Embedded Software Power Consumption Model based on Software Architecture and Support Vector Machine Regression
As embedded devices prevail in daily life, high energy consumption caused by embedded software caught academic attentions. Multifarious testing and predicting methods are developed accordingly. This paper proposes a model about energy consumption of embedded device based on analysis of embedded software structure and support vector machine regression. The nonlinear relationship between energy c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001